batch operating system in os